semantic pattern matching

[计] 语义模式匹配